Component-based software engineering - PDFSEARCH.IO - Document Search Engine

Component-based software engineering
Results: 674

#	Item
551	IEEE ROBOTICS AND AUTOMATION MAGAZINE 1 Toward a More Dependable Software Architecture for Autonomous Robots Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:37 Robot Component-based software engineering Function model Software architecture International Space Station Spaceflight Robot software Modularity
552	Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset⋆ Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, and Joseph Sifakis ´ VERIMAG, Centre Equation, Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:32 Information Model checking Communications protocol Component-based software engineering Software development process Distributed computing Software engineering Software architecture Data
553	This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS 1 Source-to-Source Architectur Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Logic in computer science Programming language semantics Computer science Object-oriented programming Component-based software engineering Denotational semantics Petri net Operational semantics Theoretical computer science Software engineering Models of computation
554	2 A Dialogue with Professor Joseph Sifakis about Concurrent Systems Specification and Verification Professor Joseph Sifakis, http://www-verimag.imag.fr/~sifakis, is a Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Turing Award laureates Formal methods Joseph Sifakis Cybernetics Systems theory Component-based software engineering Model checking Turing Award Amir Pnueli Computer science Science Software engineering
555	From High-level Component-Based Models to Distributed Implementations Borzoo Bonakdarpour Marius Bozga Mohamad Jaber Jean Quilbeuf Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Computing Network architecture Analysis of variance Software architecture Communications protocol Protocols TCP/IP model Transmission Control Protocol Component-based software engineering Internet protocols Data Information
556	LNCS[removed]Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Computer programming Qi Software engineering Computing
557	A Framework for Component-based Construction Extended Abstract Joseph Sifakis VERIMAG Laboratory Centre Equation 2 avenue de Vignate, 38610 GIERES, France Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:31 Component-based software engineering Software architecture System Systems science Structure Science Cybernetics Systems theory Object-oriented programming
558	Composition for Component-Based Modeling Gregor G¨ossler a , Joseph Sifakis b a INRIA Rhˆ one-Alpes, France Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:32 Cybernetics Systems theory Data Information Component-based software engineering System Process calculus Communications protocol Modeling language Software engineering Object-oriented programming Software architecture
559	www.computer.org/software Rigorous Component-Based System Design Using the BIP Framework Anandu Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, and Joseph Sifakis Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Computing Science Object-oriented programming Component-based software engineering Modeling language Binding immunoglobulin protein Model checking Actor model Software design Scientific modeling Software engineering Systems science
560	Cent. Eur. J. Comp. Sci. • 1(1) • 2011 • [removed]DOI: [removed]s13537[removed]y Central European Journal of Computer Science A vision for computer science – the system Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Systems Structure Systems science System Computer science Actor model Component-based software engineering Real-time computing Distributed computing Science Cybernetics Systems theory

UPDATE